package storage.tx.recovery;

import storage.log.BasicLogRecord;
import storage.tx.recovery.LogRecord;


class CheckpointRecord implements LogRecord {
   
   
   public CheckpointRecord() {}
   
   
   public CheckpointRecord(BasicLogRecord rec) {}
   
   
   public int writeToLog() {
      Object[] rec = new Object[] {CHECKPOINT};
      return logMgr.append(rec);
   }
   
   public int op() {
      return CHECKPOINT;
   }
   
   
   public int txNumber() {
      return -1; // dummy value
   }
   
   
   public void undo(int txnum) {}
   
   public String toString() {
      return "<CHECKPOINT>";
   }
}
